| location |
| trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/math_gamma_scenario.utz (math_gamma_scenario.utt), line 612 |
| occurence |
| scenario |
math_gamma_scenario |
| specification function |
lgamma_r_spec() |
| parameter value |
CallContext context = [pid=4264,thr=b7532700] |
| parameter value |
Unifloat * @x = (double) -5.0000000000000000e-01 (-0x.8000000000000000P0) |
| parameter value |
Unifloat * x = (double) -5.0000000000000000e-01 (-0x.8000000000000000P0) |
| parameter value |
IntT * @signp = <0xbfb524f4>ptr to -1 |
| parameter value |
IntT * signp = <0xbfb524f4>ptr to -1 |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (double) 1.2655121234846451e+00 (0x.A1FC4D1F876EA800P1) |
coverage
& branch |
C
X IS NORMAL NON POSITIVE |
| properties |
| REQ failed |
lgamma_r.08 |
| expected value |
(double) Infinity |
| kind |
POSTCONDITION_FAILED |